On Friday, November 15, 1940, Kurt Gödel gave a talk on set theory at Brown University. The topic was his recent proof of the consistency of Cantor’s Continuum Hypothesis with the axiomatic system ZFC for set theory. His friend from their days in Vienna, Rudolf Carnap, was in the audience, and afterward wrote a note to himself in which he raised a number of questions on incompleteness.

The authors show. by means of a finitary version $\square_{\lambda D}^{fin}$ of the combinatorial principle $\square_\lambda^{h*}$ of [7]. the consistency of the failure, relative to the consistency of supercompact cardinals, of the following: for all regular filters D on a cardinal A. if Mi and Ni are elementarily equivalent models of a language of size $\leq \lambda$ , then the second player has a winning strategy in the Ehrenfeucht- $Fra\uml{i}ss\acute{e}$ game of length $\lambda^{+}$ on $\pi_{i} M_{i}/D$ and $\pi_{i} N_{i}/D$ . (...) If in addition $2^{\lambda} = \labda^{+}$ and i < $\lambda$ implies | $M_{i}$ | +| $N_{i}$ | $\leq$ \lambda^{+} this means that the ultrapowers are isomorphic. This settles negatively conjecture 18 in [2]. (shrink)

1936 was a watershed year for computability. Debates among Gödel, Church and others over the correct analysis of the intuitive concept “human effectively computable”, an analysis at the heart of the Incompleteness Theorems, the Entscheidungsproblem, the question of what a finite computation is, and most urgently—for Gödel—the generality of the Incompleteness Theorems, were definitively set to rest with the appearance, in that year, of the Turing Machine. The question I explore here is, do the mathematical facts exhaust what is to (...) be said about the thinking behind the “confluence of ideas in 1936”? I will argue for a cultural role in Gödel’s, and, by extension, the larger logical community’s absorption of Turing’s 1936 model. As scaffolding I employ a conceptual framework due to the critic Leo Marx of the technological sublime; I also make use of the distinction within the technological sublime due to Caroline Jones, between its iconic and performative modes—a distinction operating within the conceptual art of the 1960s, but serving the history of computability equally well. (shrink)

The authors show, by means of a finitary version □finλ, D of the combinatorial principle □b*λ of [7], the consistency of the failure, relative to the consistency of supercompact cardinals, of the following: for all regular filters D on a cardinal λ, if Mi and Ni are elementarily equivalent models of a language of size ≤ λ, then the second player has a winning strategy in the Ehrenfeucht-Fraïssé game of length λ+ on ∏i Mi/D and ∏i Ni/D. If in addition (...) 2λ=λ+ and i <λ implies |Mi|+|Ni|≤ λ+ this means that the ultrapowers are isomorphic. This settles negatively conjecture 18 in [2]. (shrink)